Triquotient maps via ultrafilter convergence
نویسندگان
چکیده
منابع مشابه
Some Compactness Properties Related to Pseudocompactness and Ultrafilter Convergence
We discuss some notions of compactness relative to a specified family F of subsets of some topological space X . In particular, we relativize to F the notions ofD-compactness, CAPλ, and [μ, λ]-compactness. The two most interesting particular cases of our construction appear to be the following ones. (1) The case in which F is the family of all singletons of X , in which case we get back the mor...
متن کاملUltrafilter Extensions for Coalgebras
This paper studies finitary modal logics as specification languages for Set-coalgebras (coalgebras on the category of sets) using Stone duality. It is wellknown that Set-coalgebras are not semantically adequate for finitary modal logics in the sense that bisimilarity does not in general coincide with logical equivalence. Stone-coalgebras (coalgebras over the category of Stone spaces), on the ot...
متن کاملConvergence of concept maps and topic maps: prototype basis
Our paper tries to open a discussion about a new research topic: Topic Maps, which we think it can be interesting to incorporate into software engineering projects as a technical terminology. Not only it is a new profound paradigms shift but also an unknown vision of how to represent knowledge in a smart way. We can approach to the paradigm thanks to the Project EA-2003-52, suportted by the Spa...
متن کاملThe Ultrafilter Closure in ZF
It is well known that, in a topological space, the open sets can be characterized using filter convergence. In ZF (Zermelo-Fraenkel set theory without the Axiom of Choice), we cannot replace filters by ultrafilters. It is proven that the ultrafilter convergence determines the open sets for every topological space if and only if the Ultrafilter Theorem holds. More, we can also prove that the Ult...
متن کاملCodensity and the ultrafilter monad
Even a functor without an adjoint induces a monad, namely, its codensity monad; this is subject only to the existence of certain limits. We clarify the sense in which codensity monads act as substitutes for monads induced by adjunctions. We also expand on an undeservedly ignored theorem of Kennison and Gildenhuys: that the codensity monad of the inclusion of (finite sets) into (sets) is the ult...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Proceedings of the American Mathematical Society
سال: 2002
ISSN: 0002-9939,1088-6826
DOI: 10.1090/s0002-9939-02-06472-9